Olympiad inequality problem